# RUN: llc -march=x86-64 -run-pass none -o - %s | FileCheck %s
# This test ensures that the MIR parser parses the save and restore points in
# the machine frame info correctly.

--- |

  define i32 @foo(i32 %a, i32 %b) {
  entry:
    %tmp = alloca i32, align 4
    %tmp2 = icmp slt i32 %a, %b
    br i1 %tmp2, label %true, label %false

  true:
    store i32 %a, i32* %tmp, align 4
    %tmp4 = call i32 @doSomething(i32 0, i32* %tmp)
    br label %false

  false:
    %tmp.0 = phi i32 [ %tmp4, %true ], [ %a, %entry ]
    ret i32 %tmp.0
  }

  declare i32 @doSomething(i32, i32*)

...
---
name:            foo
tracksRegLiveness: true
liveins:
  - { reg: '$edi' }
  - { reg: '$esi' }
# CHECK: frameInfo:
# CHECK:      savePoint: '%bb.2'
# CHECK-NEXT: restorePoint: '%bb.2'
# CHECK: stack
frameInfo:
  maxAlignment:  4
  hasCalls:      true
  savePoint:     '%bb.2'
  restorePoint:  '%bb.2'
stack:
  - { id: 0, name: tmp, offset: 0, size: 4, alignment: 4 }
body: |
  bb.0:
    successors: %bb.2, %bb.1
    liveins: $edi, $esi

    $eax = COPY $edi
    CMP32rr $eax, killed $esi, implicit-def $eflags
    JCC_1 %bb.2, 12, implicit killed $eflags

  bb.1:
    successors: %bb.3
    liveins: $eax

    JMP_1 %bb.3

  bb.2.true:
    successors: %bb.3
    liveins: $eax

    MOV32mr %stack.0.tmp, 1, _, 0, _, killed $eax
    ADJCALLSTACKDOWN64 0, 0, 0, implicit-def $rsp, implicit-def $ssp, implicit-def dead $eflags, implicit $rsp, implicit $ssp
    $rsi = LEA64r %stack.0.tmp, 1, _, 0, _
    $edi = MOV32r0 implicit-def dead $eflags
    CALL64pcrel32 @doSomething, csr_64, implicit $rsp, implicit $ssp, implicit $edi, implicit $rsi, implicit-def $rsp, implicit-def $ssp, implicit-def $eax
    ADJCALLSTACKUP64 0, 0, implicit-def $rsp, implicit-def $ssp, implicit-def dead $eflags, implicit $rsp, implicit $ssp

  bb.3.false:
    liveins: $eax

    RETQ $eax
...
